-
1 correctness proof
доказательство правильности
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > correctness proof
-
2 correctness proof
English-Russian dictionary of Information technology > correctness proof
-
3 correctness proof
Компьютерная техника: доказательство правильности -
4 correctness proof
Англо-русский словарь компьютерных и интернет терминов > correctness proof
-
5 correctness proof
English-Russian dictionary of terms that are used in computer games > correctness proof
-
6 correctness proof
-
7 correctness proof
English-Russian dictionary of computer science > correctness proof
-
8 total correctness, proof of
доказательство общей правильности
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
- total correctness, proof of
Англо-русский словарь нормативно-технической терминологии > total correctness, proof of
-
9 program correctness proof
доказательство правильности программы
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > program correctness proof
-
10 program correctness proof
Вычислительная техника: доказательство правильности программыУниверсальный англо-русский словарь > program correctness proof
-
11 program correctness proof
English-Russian information technology > program correctness proof
-
12 proof
[pru:f]proof установленный градус крепости спирта; above (under) proof выше (ниже) установленного градуса absolute proof определенное доказательство constructive proof конструктивное доказательство correctness proof доказательство правильности fictitious proof ложное доказательство final burden of proof окончательная обязанность доказывания final burden of proof окончательное бремя доказывания further proof дополнительное доказательство page proof полигр. корректурный оттиск со сверстанного набора page proof страничная корректура press proof полигр. сводка prima facie proof доказательство, достаточное при отсутствии опровержения produce proof предъявлять доказательство program proof вчт. доказательство правильности программы proof делать непроницаемым proof в сложных словах означает устойчивый, непроницаемый, не поддающийся действию (чего-л.); waterproof водонепроницаемый proof делать пробный оттиск proof доказательство; this requires no proof это не требует доказательства proof доказательство proof доказывание proof испытание; проба; to put (smth.) to the proof испытать (что-л.), подвергнуть (что-л.) испытанию proof испытание proof корректура; гранка; пробный оттиск (с гравюры) proof корректура proof недоступный, не поддающийся (лести и т. п.) proof недоступный proof непробиваемый proof непроницаемый (against); непробиваемый proof непроницаемый proof придавать непроницаемость proof проба proof пробирка proof пробный оттиск proof проверка proof мат. проверка proof (шотл.) рассмотрение дела судьей вместо суда присяжных proof свидетельское показание proof установленной крепости (о спирте) proof установленный градус крепости спирта; above (under) proof выше (ниже) установленного градуса proof by appearance доказательство, достаточное при отсутствии опровержения proof by appearance презумпция доказательства proof in slips полигр. корректура в гранках proof of debt банкрот. подтверждение доказательством заявления кредитора proof of evidence свидетельское показание proof of good character and repute рекомендательное письмо proof of identity доказательство подлинности proof of membership членский билет proof of nonnegligent behaviour доказательство отсутствия небрежности proof of paternity доказательство отцовства proof of posting контроль проводки proof of purchase доказательство покупки proof of service доказательство оказания услуги proof of termination вчт. доказательство правильности завершения работы proof of will доказывание завещания proof испытание; проба; to put (smth.) to the proof испытать (что-л.), подвергнуть (что-л.) испытанию reproduction proof полигр. оттиск с набора, предназначенного для фоторепродуцирования specimen proof print. пробный оттиск proof доказательство; this requires no proof это не требует доказательства proof в сложных словах означает устойчивый, непроницаемый, не поддающийся действию (чего-л.); waterproof водонепроницаемый water-repellent: water-repellent = waterproof waterproof: waterproof водонепроницаемый, непромокаемый proof непромокаемый плащ proof придавать водонепроницаемость written proof письменное доказательство -
13 proof
доказательство; проверка; безопасный -
14 correctness
корректность, правильностьнапример, correctness proof - доказательство правильностисм. тж. program correctnessАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > correctness
-
15 correctness
1. n правильность, точность, исправность2. n корректность, благопристойностьСинонимический ряд:1. order (noun) correctitude; decencies'; decency; decorousness; decorum; fitness; order; orderliness; properness; proprieties'; propriety; seemliness2. precision (noun) accuracy; definiteness; definitiveness; definitude; exactitude; exactness; fidelities'; literalness; preciseness; precision; rightness; truth; veracities' -
16 correctness
-
17 proof
pru:f
1. сущ.
1) а) подтверждение, доказательство to furnish, give, offer, present, produce, provide proof ≈ представить доказательство These suspicions are confirmed by the most direct proof. ≈ Эти подозрения подтверждаются самыми прямыми доказательствами. ample proof clear proof conclusive proof convincing proof definite proof documentary proof incontestable proof indisputable proof irrefutable proof mathematical proof positive proof undeniable proof unquestionable proof б) юр. доказательство (виновности) (в форме свидетельских показаний, вещественных доказательств или какой-л. другой)
2) а) проверка, испытание;
проба Syn: test
1., trial
1., experiment
1. ;
examination, probation;
assay
1. б) мат. проверка ( правильности арифметических действий)
3) а) установленный градус крепости спирта above (under) proof ≈ выше (ниже) установленного градуса б) спирт установленной крепости
4) пробирка
5) фото первый, пробный отпечаток с пленки
6) а) корректура;
гранка б) пробный оттиск( с гравюры)
7) непроницаемость, защищенность( от чего-л.)
2. прил.
1) а) непроницаемый (against) ;
непробиваемый the proofest steel of Milan ≈ самая крепкая миланская сталь б) перен. недоступный, не поддающийся( лести и т. п.) в) используется как компонент сложных слов со значением 'гарантированно защищающий от чего-л.' a waterproof raincoat ≈ непромокаемый плащ ∙ Syn: strong, impenetrable, impervious, invulnerable
2) установленной крепости, определенной крепости (об алкогольных напитках)
3. гл.
1) а) делать непроницаемым и пр. [см. proof
2. ] б) спец. делать водонепроницаемым, придавать водонепроницаемость Syn: waterproof
3.
2) проверять, оценивать, испытывать а) полигр. вычитывать текст, осуществлять корректуру б) давать подходить тесту перед выпечкой в) делать пробный отпечаток с фотопленки Syn: test
2., estimate
2. доказательство;
подтверждение - * positive неопровержимое доказательство - documentary *, * by documentary evidence документальное доказательство - to give *s представить доказательства испытание, проверка, проба - * stick щуп, зонд( шотландское) (юридическое) судебное разбирательство без участия суда присяжных (полиграфия) корректура, пробный оттиск - * in galley, galley * гранки, корректура в гранках( полиграфия) пробный оттиск с гравюры( полиграфия) необрезанные края более узких и коротких листов книги (фотографическое) пробный отпечаток крепость( спирта) - above * выше установленного градуса пробирка неуязвимость;
непробиваемость непроницаемость;
герметичность защита( от чего-либо) - fool * автоматическое защитное приспособление, защита от неосторожного или неправильного обращения > the * of the pudding is in the eating чтобы узнать, каков пудинг, надо его попробовать;
все проверяется на практике, обо всем судят по результатам непроницаемый;
непробиваемый - * against bullets пуленепробиваемый - * against weather непромокаемый - to be * against water не пропускать воду;
быть водонепроницаемым не поддающийся, недоступный ( чему-либо) установленной крепости (о спирте) испытанный;
выдержавший испытание;
проверенный - * armour испытанное оружие как компонент сложных слов - fire-proof огнестойкий, огнеупорный - water-proof водонепроницаемый делать не поддающимся воздействию;
придавать стойкость, непроницаемость, непробиваемость - to * cloth делать материю водонепроницаемой (полиграфия) делать пробный оттиск (полиграфия) читать корректуру, гранки (фотографическое) делать пробный отпечаток испытывать;
проверять ~ установленный градус крепости спирта;
above (under) proof выше (ниже) установленного градуса absolute ~ определенное доказательство constructive ~ конструктивное доказательство correctness ~ доказательство правильности fictitious ~ ложное доказательство final burden of ~ окончательная обязанность доказывания final burden of ~ окончательное бремя доказывания further ~ дополнительное доказательство page ~ полигр. корректурный оттиск со сверстанного набора page ~ страничная корректура press ~ полигр. сводка prima facie ~ доказательство, достаточное при отсутствии опровержения produce ~ предъявлять доказательство program ~ вчт. доказательство правильности программы proof делать непроницаемым ~ в сложных словах означает устойчивый, непроницаемый, не поддающийся действию ( чего-л.) ;
waterproof водонепроницаемый ~ делать пробный оттиск ~ доказательство;
this requires no proof это не требует доказательства ~ доказательство ~ доказывание ~ испытание;
проба;
to put (smth.) to the proof испытать( что-л.), подвергнуть( что-л.) испытанию ~ испытание ~ корректура;
гранка;
пробный оттиск (с гравюры) ~ корректура ~ недоступный, не поддающийся (лести и т. п.) ~ недоступный ~ непробиваемый ~ непроницаемый (against) ;
непробиваемый ~ непроницаемый ~ придавать непроницаемость ~ проба ~ пробирка ~ пробный оттиск ~ проверка ~ мат. проверка ~ (шотл.) рассмотрение дела судьей вместо суда присяжных ~ свидетельское показание ~ установленной крепости (о спирте) ~ установленный градус крепости спирта;
above (under) proof выше (ниже) установленного градуса ~ by appearance доказательство, достаточное при отсутствии опровержения ~ by appearance презумпция доказательства ~ in slips полигр. корректура в гранках ~ of debt банкрот. подтверждение доказательством заявления кредитора ~ of evidence свидетельское показание ~ of good character and repute рекомендательное письмо ~ of identity доказательство подлинности ~ of membership членский билет ~ of nonnegligent behaviour доказательство отсутствия небрежности ~ of paternity доказательство отцовства ~ of posting контроль проводки ~ of purchase доказательство покупки ~ of service доказательство оказания услуги ~ of termination вчт. доказательство правильности завершения работы ~ of will доказывание завещания ~ испытание;
проба;
to put (smth.) to the proof испытать (что-л.), подвергнуть (что-л.) испытанию reproduction ~ полигр. оттиск с набора, предназначенного для фоторепродуцирования specimen ~ print. пробный оттиск ~ доказательство;
this requires no proof это не требует доказательства ~ в сложных словах означает устойчивый, непроницаемый, не поддающийся действию (чего-л.) ;
waterproof водонепроницаемый water-repellent: water-repellent = waterproof waterproof: waterproof водонепроницаемый, непромокаемый ~ непромокаемый плащ ~ придавать водонепроницаемость written ~ письменное доказательство -
18 PC
1) Общая лексика: ПЭВМ, (Permanent Council) ПС (Постоянный совет) (ОБСЕ)2) Компьютерная техника: Painless Computing, Personal Computing, Personally Configured, Poor Communication, Proactive Computing, Processor Control, Programmable Calculator3) Геология: Pacific Coast, Pocket Computer4) Медицина: Prompt Care, primary cell, prenylcysteine5) Американизм: Penn Charter, Presidents Council, Privatization And Cuts6) Спорт: Paul's Chips, Pitch Class, Player Characteristic, Player Coach, Pre Christ, Punt Center, Республиканский Совет7) Латинский язык: Patres Conscripti8) Военный термин: II PROVIDE COMFORT II, Parallel Computing, Pass Certified, Patrol Coastal, Pay Corps, Paymaster-in-Chief, Pharmacy Corps, Police Corps, Postal Clerk, Power Converter, Procurement Command, Provide Comfort, pack code, panoramic camera, paralyzing concentration, parts catalog, past commander, patrol carrier, patrol commander, patrol craft, pay clerk, performance code, personnel carrier, plane captain, plane commander, port call, positive control, post commander, power control, predictor control, primary center, principal chaplain, procurement coordinator, production control, program change, program control, programmed check, project code, project control, project coordination, projector charge, prophylactic center, prototype concept, pseudocode, purchasing and contracting9) Техника: Personal Call, current price, paper chromatography, parity check, parity control, partly cash, pay card, perfectly conducting, peripheral controller, personal correction, phase center, photo-cathode, photoconductor, plant computer, plasma chromatography, polar crane, polymer concrete, power center, pressure chamber, prime contractor, private circuit, process computer, process control, process controller, production certificate, professional communication, program console, program coordinator, program costs, project charter, proportional counter, propulsive coefficient, protective clothing, protective coating, pulse counter, показатель концентрации солей10) Сельское хозяйство: post challenge, prime cost11) Шутливое выражение: Perfect Computer, Personal Confuser, Plastic Computer12) Химия: Propylene Carbonate, potential controller13) Математика: Perfectly Complex, Polar Cycloaddition, исчисление высказываний (propositional calculus), исчисление предикатов (predicate calculus), парное сравнение (paired comparison)14) Религия: Perfectly Created, Persecuted Christian15) Метеорология: Program Council16) Железнодорожный термин: Consolidated Rail Corporation17) Юридический термин: Partial Conversion, Personal Cause, Personal Copier, Personally Corrupt, Physical Containment, Plain Courtesy, Probable Cause18) Бухгалтерия: Per Capita, Premier Casting19) Астрономия: Planetary Contrast20) Ветеринария: Pet Chihuahua, Pony Club21) Грубое выражение: Piece Of Crap, Poncey Crap, Pretentious Crap, Pretty Crappy, Pushy Chick22) Металлургия: первичное охлаждение (primary cooling) (прямого коксового газа)23) Музыка: Polyphonic Collection24) Оптика: photoconductive25) Политика: Pitcairn Islands, Progressive Conservative, политкорректно, политкорректный26) Радио: Poor Connection, PALAPA-C, диапазон С-Палапа (спутниковый)27) Телекоммуникации: Path Control, Personal Communications, Program Counter, персональный компьютер28) Сокращение: (type abbreviation) Patrol craft, Patrol Craft (River; R), Patrol Craft, Fast (USA; F), Peace Corps, PerCent; PerCentage, Personal Computer (IBM wants you to believe a specific kind), Physical Conditioning, Platoon Commander, Player Character, Post Card, Postal & Courier, Printed Circuit (electronics circuit board), Privileged Character, Privy Council, Providence College, Pulse Compression, paid cash, pitch circle, planned cost, plug cock, point of curve, police constable, private contract, production cost, тайный совет (Великобритания) (a privy council), Progressive Conservative party (Canada), Post Cibum (after meals), prime costs, privy councillor29) Текстиль: Pearl Cotton30) Университет: Partial Credit, Pomona College31) Физиология: After Meals, Perforated Cranium, Peripheral Clarity, Phone call, Posterior Cervical, Present Complaint32) Электроника: Powder Coating, Pre-emphasis Circuits33) Вычислительная техника: DOS personal computer disk operating system, Priority Control, Protocol Control, parameter checkout, photocell, primary cache, processing complexity, programmable controller, pulse code, pulse controller, punched card, Printed Circuit (IC), Player Character (see, Role-playing), персональный компьютер семейства IBM PC, указатель команд34) Нефть: photoclinometer, производственный сертификат (production certificate), Peзиcтивимeтpия35) Иммунология: Primitive Cell36) Биохимия: phosphatidylcholine37) Онкология: Prostate Cancer38) Картография: pilotage chart, point of curvature39) Банковское дело: мелкие деньги (petty cash), небольшая наличная сумма (petty cash), разменная монета (petty cash), сертификат участия (PC participation certificate)40) Биотехнология: Pockels cell41) Геофизика: персональная электронно-вычислительная машина42) Транспорт: Passenger Car, Politically Correct, Precious Cargo43) Пищевая промышленность: Pass The Corona, Plant Corn, Pork Chops44) Силикатное производство: photochromic, portland cement45) Фирменный знак: PCA Electronics, Prism Card46) Энергетика: (powderized coal) порошкообразный уголь48) Деловая лексика: Paper Copy, Paying Customer, Person Contacted, Personally Crafted, Planning And Control, Power Compact, Precedents Committee, Product Closure, Production Capability, Production Cup, Professional Corporation, Profit Choice, Profitability Constraint, Purchase Constantly, персональная вычислительная машина (personal computer), частичная загрузка, производственный контракт49) Бурение: портер-крик (Porter Creek; свита группы мидуэй палеоцена третичной системы), пэйнт-крик (Paint Creek; свита отдела честер миссисипской системы), укороченная бурильная труба (pony collar)50) Глоссарий компании Сахалин Энерджи: Pressure control, processing center51) Образование: Perfect For Child, Phrase Command, Physically Challenged, Polite And Courteous52) Инвестиции: participation certificate, petty cash53) Сетевые технологии: Personal Cluster, personal computer, ПК, персональный компьютер семейства54) Полимеры: polycarbonate, polychloroprene, post-chlorinated, potential corrosivity, pressure controller55) Автоматика: plug control, персональная ЭВМ, программируемый командоаппарат, программируемый контроллер56) Контроль качества: parameter check-out57) Химическое оружие: ( KHIMBIOKOM) -\> President's Committee for Conventional Problems of Chemical and Biological Weapons, Project coordinator59) Макаров: phase comparator, programmable control, programming center, поликарбонат, (plug control) цикловое ПУ60) Расширение файла: Parametric Cubic, Printed Circuit, Processor Controller, Program Computer, Punch Card, Text file containing IBM PC specific info61) Нефть и газ: process condensate, performance contract, (Production Crude) Добытая нефть62) Логистика: physical cases (кейсы, ящики, контейнеры)63) Военно-политический термин: Political Committee64) Электротехника: peaking capacity, phase control, power contactor, pulsating current, pulverized coal65) Имена и фамилии: Prince Charming66) Ebay. Piece (e.g., "2pc" means the auction comes with two total units)67) Печатные платы: production capable68) ООН: Peaceful Coexistance69) Цемент: plain cement, бездобавочный цемент, клинкерный цемент, цемент без добавок, чистый клинкерный цемент, straight cement70) Общественная организация: Population Connection, Population Council, Presidential Classroom, Programme Committee, Public Citizen71) Должность: Paper Carrier, Perfect Corner, Perfectly Comfortable, Personal Consultant, Poetic Chap, Privy Counsellor72) Чат: Past Caring, Post A Comment, Pretty Chancy, Pretty Cheap, Pretty Clever, Pretty Cool, Pretty Cute73) Правительство: Pacific Crest, Panama City, Florida, Pepper Canyon, Pine Creek74) NYSE. P C Holdings, S. A.75) Аэропорты: система количества мест (Piece Conсept:; as opposed to Weight Conсept)76) Программное обеспечение: Proof Checker77) Хобби: Platina Cards -
19 Pc
1) Общая лексика: ПЭВМ, (Permanent Council) ПС (Постоянный совет) (ОБСЕ)2) Компьютерная техника: Painless Computing, Personal Computing, Personally Configured, Poor Communication, Proactive Computing, Processor Control, Programmable Calculator3) Геология: Pacific Coast, Pocket Computer4) Медицина: Prompt Care, primary cell, prenylcysteine5) Американизм: Penn Charter, Presidents Council, Privatization And Cuts6) Спорт: Paul's Chips, Pitch Class, Player Characteristic, Player Coach, Pre Christ, Punt Center, Республиканский Совет7) Латинский язык: Patres Conscripti8) Военный термин: II PROVIDE COMFORT II, Parallel Computing, Pass Certified, Patrol Coastal, Pay Corps, Paymaster-in-Chief, Pharmacy Corps, Police Corps, Postal Clerk, Power Converter, Procurement Command, Provide Comfort, pack code, panoramic camera, paralyzing concentration, parts catalog, past commander, patrol carrier, patrol commander, patrol craft, pay clerk, performance code, personnel carrier, plane captain, plane commander, port call, positive control, post commander, power control, predictor control, primary center, principal chaplain, procurement coordinator, production control, program change, program control, programmed check, project code, project control, project coordination, projector charge, prophylactic center, prototype concept, pseudocode, purchasing and contracting9) Техника: Personal Call, current price, paper chromatography, parity check, parity control, partly cash, pay card, perfectly conducting, peripheral controller, personal correction, phase center, photo-cathode, photoconductor, plant computer, plasma chromatography, polar crane, polymer concrete, power center, pressure chamber, prime contractor, private circuit, process computer, process control, process controller, production certificate, professional communication, program console, program coordinator, program costs, project charter, proportional counter, propulsive coefficient, protective clothing, protective coating, pulse counter, показатель концентрации солей10) Сельское хозяйство: post challenge, prime cost11) Шутливое выражение: Perfect Computer, Personal Confuser, Plastic Computer12) Химия: Propylene Carbonate, potential controller13) Математика: Perfectly Complex, Polar Cycloaddition, исчисление высказываний (propositional calculus), исчисление предикатов (predicate calculus), парное сравнение (paired comparison)14) Религия: Perfectly Created, Persecuted Christian15) Метеорология: Program Council16) Железнодорожный термин: Consolidated Rail Corporation17) Юридический термин: Partial Conversion, Personal Cause, Personal Copier, Personally Corrupt, Physical Containment, Plain Courtesy, Probable Cause18) Бухгалтерия: Per Capita, Premier Casting19) Астрономия: Planetary Contrast20) Ветеринария: Pet Chihuahua, Pony Club21) Грубое выражение: Piece Of Crap, Poncey Crap, Pretentious Crap, Pretty Crappy, Pushy Chick22) Металлургия: первичное охлаждение (primary cooling) (прямого коксового газа)23) Музыка: Polyphonic Collection24) Оптика: photoconductive25) Политика: Pitcairn Islands, Progressive Conservative, политкорректно, политкорректный26) Радио: Poor Connection, PALAPA-C, диапазон С-Палапа (спутниковый)27) Телекоммуникации: Path Control, Personal Communications, Program Counter, персональный компьютер28) Сокращение: (type abbreviation) Patrol craft, Patrol Craft (River; R), Patrol Craft, Fast (USA; F), Peace Corps, PerCent; PerCentage, Personal Computer (IBM wants you to believe a specific kind), Physical Conditioning, Platoon Commander, Player Character, Post Card, Postal & Courier, Printed Circuit (electronics circuit board), Privileged Character, Privy Council, Providence College, Pulse Compression, paid cash, pitch circle, planned cost, plug cock, point of curve, police constable, private contract, production cost, тайный совет (Великобритания) (a privy council), Progressive Conservative party (Canada), Post Cibum (after meals), prime costs, privy councillor29) Текстиль: Pearl Cotton30) Университет: Partial Credit, Pomona College31) Физиология: After Meals, Perforated Cranium, Peripheral Clarity, Phone call, Posterior Cervical, Present Complaint32) Электроника: Powder Coating, Pre-emphasis Circuits33) Вычислительная техника: DOS personal computer disk operating system, Priority Control, Protocol Control, parameter checkout, photocell, primary cache, processing complexity, programmable controller, pulse code, pulse controller, punched card, Printed Circuit (IC), Player Character (see, Role-playing), персональный компьютер семейства IBM PC, указатель команд34) Нефть: photoclinometer, производственный сертификат (production certificate), Peзиcтивимeтpия35) Иммунология: Primitive Cell36) Биохимия: phosphatidylcholine37) Онкология: Prostate Cancer38) Картография: pilotage chart, point of curvature39) Банковское дело: мелкие деньги (petty cash), небольшая наличная сумма (petty cash), разменная монета (petty cash), сертификат участия (PC participation certificate)40) Биотехнология: Pockels cell41) Геофизика: персональная электронно-вычислительная машина42) Транспорт: Passenger Car, Politically Correct, Precious Cargo43) Пищевая промышленность: Pass The Corona, Plant Corn, Pork Chops44) Силикатное производство: photochromic, portland cement45) Фирменный знак: PCA Electronics, Prism Card46) Энергетика: (powderized coal) порошкообразный уголь48) Деловая лексика: Paper Copy, Paying Customer, Person Contacted, Personally Crafted, Planning And Control, Power Compact, Precedents Committee, Product Closure, Production Capability, Production Cup, Professional Corporation, Profit Choice, Profitability Constraint, Purchase Constantly, персональная вычислительная машина (personal computer), частичная загрузка, производственный контракт49) Бурение: портер-крик (Porter Creek; свита группы мидуэй палеоцена третичной системы), пэйнт-крик (Paint Creek; свита отдела честер миссисипской системы), укороченная бурильная труба (pony collar)50) Глоссарий компании Сахалин Энерджи: Pressure control, processing center51) Образование: Perfect For Child, Phrase Command, Physically Challenged, Polite And Courteous52) Инвестиции: participation certificate, petty cash53) Сетевые технологии: Personal Cluster, personal computer, ПК, персональный компьютер семейства54) Полимеры: polycarbonate, polychloroprene, post-chlorinated, potential corrosivity, pressure controller55) Автоматика: plug control, персональная ЭВМ, программируемый командоаппарат, программируемый контроллер56) Контроль качества: parameter check-out57) Химическое оружие: ( KHIMBIOKOM) -\> President's Committee for Conventional Problems of Chemical and Biological Weapons, Project coordinator59) Макаров: phase comparator, programmable control, programming center, поликарбонат, (plug control) цикловое ПУ60) Расширение файла: Parametric Cubic, Printed Circuit, Processor Controller, Program Computer, Punch Card, Text file containing IBM PC specific info61) Нефть и газ: process condensate, performance contract, (Production Crude) Добытая нефть62) Логистика: physical cases (кейсы, ящики, контейнеры)63) Военно-политический термин: Political Committee64) Электротехника: peaking capacity, phase control, power contactor, pulsating current, pulverized coal65) Имена и фамилии: Prince Charming66) Ebay. Piece (e.g., "2pc" means the auction comes with two total units)67) Печатные платы: production capable68) ООН: Peaceful Coexistance69) Цемент: plain cement, бездобавочный цемент, клинкерный цемент, цемент без добавок, чистый клинкерный цемент, straight cement70) Общественная организация: Population Connection, Population Council, Presidential Classroom, Programme Committee, Public Citizen71) Должность: Paper Carrier, Perfect Corner, Perfectly Comfortable, Personal Consultant, Poetic Chap, Privy Counsellor72) Чат: Past Caring, Post A Comment, Pretty Chancy, Pretty Cheap, Pretty Clever, Pretty Cool, Pretty Cute73) Правительство: Pacific Crest, Panama City, Florida, Pepper Canyon, Pine Creek74) NYSE. P C Holdings, S. A.75) Аэропорты: система количества мест (Piece Conсept:; as opposed to Weight Conсept)76) Программное обеспечение: Proof Checker77) Хобби: Platina Cards -
20 pC
1) Общая лексика: ПЭВМ, (Permanent Council) ПС (Постоянный совет) (ОБСЕ)2) Компьютерная техника: Painless Computing, Personal Computing, Personally Configured, Poor Communication, Proactive Computing, Processor Control, Programmable Calculator3) Геология: Pacific Coast, Pocket Computer4) Медицина: Prompt Care, primary cell, prenylcysteine5) Американизм: Penn Charter, Presidents Council, Privatization And Cuts6) Спорт: Paul's Chips, Pitch Class, Player Characteristic, Player Coach, Pre Christ, Punt Center, Республиканский Совет7) Латинский язык: Patres Conscripti8) Военный термин: II PROVIDE COMFORT II, Parallel Computing, Pass Certified, Patrol Coastal, Pay Corps, Paymaster-in-Chief, Pharmacy Corps, Police Corps, Postal Clerk, Power Converter, Procurement Command, Provide Comfort, pack code, panoramic camera, paralyzing concentration, parts catalog, past commander, patrol carrier, patrol commander, patrol craft, pay clerk, performance code, personnel carrier, plane captain, plane commander, port call, positive control, post commander, power control, predictor control, primary center, principal chaplain, procurement coordinator, production control, program change, program control, programmed check, project code, project control, project coordination, projector charge, prophylactic center, prototype concept, pseudocode, purchasing and contracting9) Техника: Personal Call, current price, paper chromatography, parity check, parity control, partly cash, pay card, perfectly conducting, peripheral controller, personal correction, phase center, photo-cathode, photoconductor, plant computer, plasma chromatography, polar crane, polymer concrete, power center, pressure chamber, prime contractor, private circuit, process computer, process control, process controller, production certificate, professional communication, program console, program coordinator, program costs, project charter, proportional counter, propulsive coefficient, protective clothing, protective coating, pulse counter, показатель концентрации солей10) Сельское хозяйство: post challenge, prime cost11) Шутливое выражение: Perfect Computer, Personal Confuser, Plastic Computer12) Химия: Propylene Carbonate, potential controller13) Математика: Perfectly Complex, Polar Cycloaddition, исчисление высказываний (propositional calculus), исчисление предикатов (predicate calculus), парное сравнение (paired comparison)14) Религия: Perfectly Created, Persecuted Christian15) Метеорология: Program Council16) Железнодорожный термин: Consolidated Rail Corporation17) Юридический термин: Partial Conversion, Personal Cause, Personal Copier, Personally Corrupt, Physical Containment, Plain Courtesy, Probable Cause18) Бухгалтерия: Per Capita, Premier Casting19) Астрономия: Planetary Contrast20) Ветеринария: Pet Chihuahua, Pony Club21) Грубое выражение: Piece Of Crap, Poncey Crap, Pretentious Crap, Pretty Crappy, Pushy Chick22) Металлургия: первичное охлаждение (primary cooling) (прямого коксового газа)23) Музыка: Polyphonic Collection24) Оптика: photoconductive25) Политика: Pitcairn Islands, Progressive Conservative, политкорректно, политкорректный26) Радио: Poor Connection, PALAPA-C, диапазон С-Палапа (спутниковый)27) Телекоммуникации: Path Control, Personal Communications, Program Counter, персональный компьютер28) Сокращение: (type abbreviation) Patrol craft, Patrol Craft (River; R), Patrol Craft, Fast (USA; F), Peace Corps, PerCent; PerCentage, Personal Computer (IBM wants you to believe a specific kind), Physical Conditioning, Platoon Commander, Player Character, Post Card, Postal & Courier, Printed Circuit (electronics circuit board), Privileged Character, Privy Council, Providence College, Pulse Compression, paid cash, pitch circle, planned cost, plug cock, point of curve, police constable, private contract, production cost, тайный совет (Великобритания) (a privy council), Progressive Conservative party (Canada), Post Cibum (after meals), prime costs, privy councillor29) Текстиль: Pearl Cotton30) Университет: Partial Credit, Pomona College31) Физиология: After Meals, Perforated Cranium, Peripheral Clarity, Phone call, Posterior Cervical, Present Complaint32) Электроника: Powder Coating, Pre-emphasis Circuits33) Вычислительная техника: DOS personal computer disk operating system, Priority Control, Protocol Control, parameter checkout, photocell, primary cache, processing complexity, programmable controller, pulse code, pulse controller, punched card, Printed Circuit (IC), Player Character (see, Role-playing), персональный компьютер семейства IBM PC, указатель команд34) Нефть: photoclinometer, производственный сертификат (production certificate), Peзиcтивимeтpия35) Иммунология: Primitive Cell36) Биохимия: phosphatidylcholine37) Онкология: Prostate Cancer38) Картография: pilotage chart, point of curvature39) Банковское дело: мелкие деньги (petty cash), небольшая наличная сумма (petty cash), разменная монета (petty cash), сертификат участия (PC participation certificate)40) Биотехнология: Pockels cell41) Геофизика: персональная электронно-вычислительная машина42) Транспорт: Passenger Car, Politically Correct, Precious Cargo43) Пищевая промышленность: Pass The Corona, Plant Corn, Pork Chops44) Силикатное производство: photochromic, portland cement45) Фирменный знак: PCA Electronics, Prism Card46) Энергетика: (powderized coal) порошкообразный уголь48) Деловая лексика: Paper Copy, Paying Customer, Person Contacted, Personally Crafted, Planning And Control, Power Compact, Precedents Committee, Product Closure, Production Capability, Production Cup, Professional Corporation, Profit Choice, Profitability Constraint, Purchase Constantly, персональная вычислительная машина (personal computer), частичная загрузка, производственный контракт49) Бурение: портер-крик (Porter Creek; свита группы мидуэй палеоцена третичной системы), пэйнт-крик (Paint Creek; свита отдела честер миссисипской системы), укороченная бурильная труба (pony collar)50) Глоссарий компании Сахалин Энерджи: Pressure control, processing center51) Образование: Perfect For Child, Phrase Command, Physically Challenged, Polite And Courteous52) Инвестиции: participation certificate, petty cash53) Сетевые технологии: Personal Cluster, personal computer, ПК, персональный компьютер семейства54) Полимеры: polycarbonate, polychloroprene, post-chlorinated, potential corrosivity, pressure controller55) Автоматика: plug control, персональная ЭВМ, программируемый командоаппарат, программируемый контроллер56) Контроль качества: parameter check-out57) Химическое оружие: ( KHIMBIOKOM) -\> President's Committee for Conventional Problems of Chemical and Biological Weapons, Project coordinator59) Макаров: phase comparator, programmable control, programming center, поликарбонат, (plug control) цикловое ПУ60) Расширение файла: Parametric Cubic, Printed Circuit, Processor Controller, Program Computer, Punch Card, Text file containing IBM PC specific info61) Нефть и газ: process condensate, performance contract, (Production Crude) Добытая нефть62) Логистика: physical cases (кейсы, ящики, контейнеры)63) Военно-политический термин: Political Committee64) Электротехника: peaking capacity, phase control, power contactor, pulsating current, pulverized coal65) Имена и фамилии: Prince Charming66) Ebay. Piece (e.g., "2pc" means the auction comes with two total units)67) Печатные платы: production capable68) ООН: Peaceful Coexistance69) Цемент: plain cement, бездобавочный цемент, клинкерный цемент, цемент без добавок, чистый клинкерный цемент, straight cement70) Общественная организация: Population Connection, Population Council, Presidential Classroom, Programme Committee, Public Citizen71) Должность: Paper Carrier, Perfect Corner, Perfectly Comfortable, Personal Consultant, Poetic Chap, Privy Counsellor72) Чат: Past Caring, Post A Comment, Pretty Chancy, Pretty Cheap, Pretty Clever, Pretty Cool, Pretty Cute73) Правительство: Pacific Crest, Panama City, Florida, Pepper Canyon, Pine Creek74) NYSE. P C Holdings, S. A.75) Аэропорты: система количества мест (Piece Conсept:; as opposed to Weight Conсept)76) Программное обеспечение: Proof Checker77) Хобби: Platina Cards
- 1
- 2
См. также в других словарях:
proof — [pro͞of] n. [ME profe < OFr prueve < LL proba < L probare: see PROBE] 1. the act or process of proving; a testing or trying of something 2. anything serving or tending to establish the truth of something, or to convince one of its truth; … English World dictionary
Proof checking — is the process of using software for checking proofs for correctness. It is one of the most developed fields in automated reasoning.ee also*Model checking *Abstract interpretation *Static code analysis *Automated theorem proving *Symbolic… … Wikipedia
Correctness (computer science) — In theoretical computer science, correctness of an algorithm is asserted when it is said that the algorithm is correct with respect to a specification. Functional correctness refers to the input output behaviour of the algorithm (i.e., for each… … Wikipedia
proof — /proohf/, n. 1. evidence sufficient to establish a thing as true, or to produce belief in its truth. 2. anything serving as such evidence: What proof do you have? 3. the act of testing or making trial of anything; test; trial: to put a thing to… … Universalium
proof — 1 /pru:f/ noun 1 (C, U) facts, information, documents etc that prove something is true (+ of): Bring a passport as proof of identity. (+ (that)): Do you have any proof that this man stole your bag? | conclusive proof (=that cannot be doubted) |… … Longman dictionary of contemporary English
proof — /pruf / (say proohf) noun 1. evidence sufficient to establish a thing as true, or to produce belief in its truth. 2. anything serving as such evidence. 3. the act of testing or making trial of anything; test; a trial: to put a thing to the proof …
proof — [[t]pruf[/t]] n. 1) evidence sufficient to establish a thing as true or believable 2) anything serving as such evidence 3) the act of testing or trying anything; test; trial: to put a thing to the proof[/ex] 4) the establishment of the truth of… … From formal English to slang
Computer-assisted proof — A computer assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer aided proofs to date have been implementations of large proofs by exhaustion of a mathematical theorem. The idea is to use a… … Wikipedia
Compiler correctness — In computing, compiler correctness is the branch of software engineering that deals with trying to show that a compiler behaves according to its language specification[citation needed]. Techniques include developing the compiler using formal… … Wikipedia
Constructive proof — In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object with certain properties by creating or providing a method for creating such an object. This is in contrast to a nonconstructive… … Wikipedia
Burden of proof (logical fallacy) — In philosophy, the term burden of proof refers to the extent to which, or the level of rigour with which, it is necessary to establish, demonstrate or prove something for it to be accepted as true or reasonable to believe.All logical arguments… … Wikipedia